{-# OPTIONS -Wall #-}

module Demo01 where

import Concepts.Algos


objs = objects [ "Frank", "Anne", "Arthur", "Cathy", "Thomas", "Michael" ]

attrs = attributes [ "Rock", "Pop", "Jazz", "Folk", "Tango" ]

relation :: String -> String -> Bool
relation "Frank"   "Rock"   = True
relation "Frank"   "Pop"    = True
relation "Frank"   "Folk"   = True
relation "Anne"    "Rock"   = True
relation "Anne"    "Pop"    = True
relation "Anne"    "Tango"  = True
relation "Arthur"  "Jazz"   = True
relation "Arthur"  "Folk"   = True
relation "Cathy"   "Jazz"   = True
relation "Thomas"  "Jazz"   = True
relation "Michael" "Jazz"   = True
relation "Michael" "Folk"   = True
relation _         _        = False

ctx1 = Context objs attrs relation

demo01 = lattice ctx1